181. Provable security :
پدیدآورنده : Joonsang Baek, Willy Susilo, Jongkil Kim (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Data protection, Congresses.,Computer Systems Organization and Communication Networks.,Computing Milieux.,Cryptology.,Data Structures and Information Theory.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Data encryption.,Data protection.,Information technology: general issues.,Software Engineering.
رده :
QA76
.
9
.
A25
182. Quality of protection :
پدیدآورنده : edited by Dieter Gollmann, Fabio Massacci, Artsiom Yautsiukhin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks-- Quality control, Congresses.,Computer networks-- Standards, Congresses.,Computer security-- Quality control, Congresses.,Computer security-- Standards, Congresses.,Computer networks-- Quality control.,Computer networks-- Quality control.,Computer networks-- Standards.,Computer networks-- Standards.,Computer security-- Quality control.,Computer security-- Standards.,Computer security-- Standards.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.,Informatique.
رده :
QA76
.
9
.
A25
Q35
2006eb
183. Real-Time Database Systems
پدیدآورنده : edited by Azer Bestavros, Kwei-Jay Lin, Sang Hyuk Son.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Data structures (Computer science).,Software engineering.
184. Real-Time Database and Information Systems: Research Advances
پدیدآورنده : edited by Azer Bestavros, Victor Fay-Wolfe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Data structures (Computer science).,Information storage and retrieval systems.,Software engineering.
185. STACS 87 :
پدیدآورنده : edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Computer science.,Computers.
186. Sharing data and models in software engineering /
پدیدآورنده : Tim Menzies, Ekrem Kocaguneli, Leandro Minku, Fayola Peters, Burak Turhan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Data structures (Computer science),Software engineering
رده :
QA76
.
758
187. Sicherheitskonzepte für das Internet :
پدیدآورنده : herausgegeben von Günter Müller, Martin Reichenbach.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Data structures (Computer science),Software engineering.
رده :
QA76
.
9
.
D35
H473
2001
188. Similarity Search and Applications :
پدیدآورنده : edited by Nieves Brisaboa, Oscar Pedreira, Pavel Zezula.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Data structures (Computer science)
رده :
Z667
.
E358
2013
189. Simulation and visualization on the grid :
پدیدآورنده : [Seventh Annual PDC Conference on High-Performance Computing]. Björn Engquist ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer simulation -- Congresses.,Computer simulation.,Visualization -- Congresses.
190. Simulation and visualization on the grid :
پدیدآورنده : [Seventh Annual PDC Conference on High-Performance Computing]. Björn Engquist ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer simulation -- Congresses.,Computer simulation.,Visualization -- Congresses.
رده :
QA76
.
9
.
C65
S484
2000
191. Software Pioneers :
پدیدآورنده : edited by Manfred Broy, Ernst Denert.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Software engineering.
رده :
QA76
.
2
.
A2
E358
2002
192. Software Product Lines
پدیدآورنده : edited by Patrick Donohoe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Data structures (Computer science).,Machinery.,Operations research.,Software engineering.
193. Software Prototyping in Data and Knowledge Engineering
پدیدآورنده : by Giovanni Guida, Gianfranco Lamperti, Marina Zanella.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Software engineering.
194. Software and data technologies :
پدیدآورنده : María José Escalona, José Cordeiro, Boris Shishkov, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Data structures (Computer science) -- Congresses.,Database management -- Congresses.,Software engineering -- Congresses.
195. Software design and data structures in Turbo Pascal
پدیدآورنده : Koffman, Elliot B.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Software engineering, Data structures )Computer science(, Turbo Pascal )Computer file(
رده :
QA
76
.
758
.
K68
1994
196. Specification and Transformation of Programs :
پدیدآورنده : by Helmut A. Partsch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Data structures (Computer science),Software engineering.
رده :
QA76
.
76
.
D47
B944
1990
197. Starting Out with Java: From Control Structures through Data Structures, Answers to Review Questions
پدیدآورنده : / Tony Gaddis, Godfrey Muganda
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
198. Systems programming in Unix/Linux /
پدیدآورنده : K.C. Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Linux.,UNIX (Computer file),Linux.,UNIX (Computer file),Systems programming (Computer science),Data Structures.,Operating Systems.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Operating systems.,Programming & scripting languages: general.,Systems programming (Computer science)
رده :
QA76
.
76
.
O63
W36
2018
199. TAPSOFT'93 : Theory and practice of software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993: proceedings
پدیدآورنده : M.C. Gaudel, J.P. Jouannaud )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
668
200. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
پدیدآورنده : edited by Harmut Ehrig...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
249-250
